More from this Author

Marijuana and Madness

by Deepak D'Souza (Editor), David Castle (Editor), Robin Murray (Editor)

Automated Technology for Verification and Analysis

by Deepak D'Souza (Editor), K. Narayan Kumar (Editor)

Verification, Model Checking, and Abstract Interpretation

by Deepak D'Souza (Editor), Akash Lal (Editor), Kim Gulstrand Larsen (Editor)

Verification, Model Checking, and Abstract Interpretation

by Deepak D'Souza (Editor), Akash Lal (Editor), Kim Guldstrand Larsen (Editor)